VERIFICATION DE RESEAUX DE PETRI.BERTHELOT G.1978; ; S.L.; DA. 1978; PP. (220P.); BIBL. 3 P.; (THESE DOCT. 3EME CYCLE, SPEC. MATH. APPL., MENTION INF.; PIERRE ET MARIE CURIE PARIS 6)Thesis

SOME RESULTS ON TIMED PETRI-NETSCHRETIENNE P.1980; LECTURE NOTES CONTROL INFORM. SCI.; DEU; DA. 1980; NO 23; PP. 291-299; BIBL. 2 REF.Conference Paper

FAST ALGORITHMS FOR THE 2-D DISCRETE COSINE TRANSFORMKAMANGAR FA; RAO KR.1982; IEEE TRANSACTIONS ON COMPUTERS; ISSN 0018-9340; USA; DA. 1982; VOL. 31; NO 9; PP. 899-906; BIBL. 25 REF.Article

INTRODUCTION AUX RESEAUX DE PETRIBLANCHET GERARD.1979; ; FRA; PARIS: ENST; DA. 1979; ENST-D/79007; NON PAG.; 30 CM; BIBL. 14 REF.; DEPARTEMENT SYSTEMES ET COMMUNICATIONSReport

HIERARCHIE ET PARALLELISME DANS LES RESEAUX DE PETRI. II. RESEAUX DE PETRI A AUTOMATES COMPLEXES AVEC PARALLELISMETAL AA; YUDITSKIJ SA.1982; AVTOM. TELEMEH.; ISSN 0005-2310; SUN; DA. 1982; NO 9; PP. 83-88; ABS. ENG; BIBL. 2 REF.Article

APPLICATIONS OF THE SEMIFLOW NOTION TO THE BOUNDEDNESS AND LIVENESS PROBLEMS IN THE PETRI NETS THEORYMEMMI G.1978; CONFERENCE ON INFORMATION SCIENCES AND SYSTEMS. 12/1978-03-29/BALTIMORE; USA; BALTIMORE: JOHNS HOPKINS UNIVERSITY; DA. 1978; PP. 505-509; BIBL. 13 REF.Conference Paper

PETRI NETS THEORY FOR THE CORRECTNESS OF PROTOCOLSBERTHELOT G; TERRAT R.1982; IEEE TRANSACTIONS ON COMMUNICATIONS; ISSN 0090-6778; USA; DA. 1982; VOL. 30; NO 12; PP. 2497-2505; BIBL. 20 REF.Article

ALGORITHMES D'ALGEBRE LINEAIRE POUR L'ANALYSE STRUCTURELLE DES RESEAUX DE PETRITOUDIC JM.1982; REVUE TECHNIQUE THOMSON-CSF; ISSN 0035-4279; FRA; DA. 1982; VOL. 14; NO 1; PP. 137-155; ABS. ENG; BIBL. 10 REF.Article

REACHABILITY HOMOMORPHISMS ON NETSEBERT J; PERL J.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 100; PP. 326-334; ABS. GER; BIBL. 4 REF.Conference Paper

A COMPARISON BETWEEN PETRI-NETS AND GRAPH GRAMMARSKREOWSKI HJ.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 100; PP. 306-317; BIBL. 20 REF.Conference Paper

AN ALGORITHM TO IDENTIFY SLICES, WITH APPLICATIONS TO VECTOR REPLACEMENT SYSTEMSGRABOWSKI J.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 117; PP. 425-432; BIBL. 13 REF.Conference Paper

SIMPLIFICATION DES RESEAUX DE PETRI PAR ELIMINATION DE PLANS IMPLICITESSILVA M.1980; DIGIT. PROCESSES; ISSN 0301-4185; CHE; DA. 1980; VOL. 6; NO 4; PP. 245-256; ABS. ENG/GER; BIBL. 6 REF.Article

FUITES DANS LES RESEAUX DE PETRI.MEMMI G.1978; R.A.I.R.O., INFORMAT. THEOR.; FRA; DA. 1978; VOL. 12; NO 2; PP. 125-144; ABS. ENG; BIBL. 15 REF.Article

A METHOD TO COMPARE THE DESCRIPTIVE POWER OF DIFFERENT TYPES OF PETRI NETSJENSEN K.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 88; PP. 348-361; BIBL. 12 REF.Conference Paper

WEGSYSTEME IN PETRI-NETZEN = SYSTEME DE CHEMINS DANS LES RESEAUX DE PETRILAUTENBACH K.1979; BER. GESELLSCH, MATH. DATENVERARB.; DEU; DA. 1979; NO 111; PP. 93-106; BIBL. 7 REF.Article

ANALYSIS OF PETRI NETS BY STEPWISE REFINEMENTSVALETTE R.1979; J. COMPUTER SYST. SCI.; USA; DA. 1979; VOL. 18; NO 1; PP. 35-46; BIBL. 13 REF.Article

FUITES ET SEMI-FLOTS DANS LES RESEAUX DE PETRIMEMMI GERARD.1978; ; FRA; DA. 1978; (2)-108-(9) P.: ILL.; 30 CM; BIBL. DISSEM.; TH. DOCT.-ENG., MATH. APPL./PARIS 6/1978Thesis

STRUCTURAL PROPERTIES OF PETRI NETS.SIFAKIS J.1977; MATH. APPL. INFORMAT., RAPP. RECH.; FR.; DA. 1977; NO 102; PP. 1-16; BIBL. 13 REF.Serial Issue

Petri net modelling of biological networksCHAOUIYA, Claudine.Briefings in bioinformatics. 2007, Vol 8, Num 4, pp 210-219, issn 1467-5463, 10 p.Article

A characterization of the stochastic process underlying a stochastic petri netCIARDO, G; GERMAN, R; LINDEMANN, C et al.IEEE transactions on software engineering. 1994, Vol 20, Num 7, pp 506-515, issn 0098-5589Article

Petri nets with exclusive entities for decision makingLATORRE, J. I; JIMENEZ, E.International journal of simulation & process modelling (Print). 2013, Vol 8, Num 1, pp 66-73, issn 1740-2123, 8 p.Article

TRANSFORMATIONS DE RESEAUX DE PETRI PRESERVANT DES PROPRIETES SIGNIFICATIVES: DEFINITION DES HOMOMORPHISMES ASSOCIES = TRANSFORMATIONS OF PETRI NETS IN ORDER TO PRESERVE SOME INTERESTING PROPERTIES: DEFINITIONS OF ASSOCIATED HOMOMORPHISMSPLACIDE MARTINE.1982; ; FRA; DA. 1982; 180 F.; 30 CM; ABS. ENG; BIBL. 2 P.; TH. 3E CYCLE: SIGNAUX, SYST. CIRCUITS/NICE/1982Thesis

SUR LA CONSTRUCTION DES RESEAUX DE PETRI REGULIERSOLEJNICHENKO RL.1982; AVTOMATIKA I TELEMEHANIKA; ISSN 0005-2310; SUN; DA. 1982; NO 12; PP. 130-139; ABS. ENG; BIBL. 7 REF.Article

UN AUTOMATE PROGRAMMABLE PAR SCHEMAS A RESEAUX DE PETRICOURVOISIER M; SAMI M.1981; CONGRES AUTOMATIQUE/1981/NANTES; FRA; PARIS: AFCET; DA. 1981; PP. 439-450; BIBL. 8 REF.Conference Paper

SEMANTISCHE NETZE ZUR ANFORDERUNGSANALYSE UND ZUM ENTWURF VON DV-SYSTEMEN = RESEAUX SEMANTIQUES POUR L'ANALYSE DES BESOINS ET LA CONCEPTION DE SYSTEMES DE TRAITEMENT DE DONNEESMITTERMEIR R.1981; ANGEW. INFORM.; ISSN 0013-5704; DEU; DA. 1981; NO 10; PP. 421-428; ABS. ENG; BIBL. 27 REF.Article